functor F (X : sig end) =
struct
  val toIntX : word -> int
end
